conditioned invariant

条件不变量